دانشمندان با استفاده از محاسبات ریاضی وجود خدا را اثبات کردند!!
دانشمندانِ ریاضی به طور تحلیلی وجود خدا را اثبات کردند بعد از اینکه موفق به حل معادلهای شدند که یک قدرت برتر را نشان میدهد!!
دو دانشمند برجسته علوم کامپیوتر میگویند که وجود یک نیروی برتر را در جهان با استفـاده از معادلالت گودل نشان دادند!!
در سال 1978 کرت گودل ریاضی دادن بزرگ تاریخ در حالی که معادلات پیچیدهی ریاضی بر پایه منطق هنوز به پاسخ نرسیده بود، دار فانی را وداع گفت.
گودل ریاضی دان بزرگ و منطق دادن و فیلسوف اتریشی بود. کورت گودل یک خدا باور بود.
او به طور جِدّ به زندگی پس از مرگ اعتقاد داشت و بیان کرده بود:
من به این که زندگی پس از مرگ وجود دارد، مستقل از هر الاهیاتی، اعتقاد دارم. اگر که دنیا بر پایه عقلانیت ساخته شده و معنادار است پس حتماً باید یک چنین چیزی [زندگی پس از مرگ] وجود داشته باشد.
کرت گودل از مدلهای ریاضی استفاده میکرد که از پیچیدگیهای شدیدی برخودار بودند، اما اساس این معادلهها این بـود که هیچ چیزی بالاتر از یک قدرت برتر (خدا
) را نمیتوان تصور کرد و اگر کسی به مفهموم خدا معتقد باشد میتواند بصورت عینی و علمینیز اعتقاد خود را به نمایش بگذارد.
معادلهی مذکور به شکل زیر است:
“Ax. 1. {P(φ)
∀x[φ(x)→ψ(x)]} →P(ψ)Ax.
2.P(¬φ)¬P(φ)Th. 1.P(φ)→◊∃x[φ(x)]Df. 1.G(x)⟺∀φ[P(φ)→φ(x)]Ax. 3.P(G)Th. 2.◊∃xG(x)Df.
2.φ ess x⟺φ(x)∧∀ψ{ψ(x)
∀y[φ(y)→ψ(y)]}Ax. 4.P(φ)→
P(φ)Th. 3.G(x)→G ess xDf.
3.E(x)⟺∀φ[φ ess x→
∃yφ(y)]Ax. 5.P(E)Th. 4.
∃xG(x)”.
شکل استدلالی این برهان:
1- Any “property”, or the negation of that property, is “positive”; but it is impossible that both the property and negation are positive.
2- If one positive property implies that some property necessarily exists, then the implied property is positive.
3- The property of being God-like is positive.
4- Positive properties are necessarily positive.
5- The property of necessarily existing is positive.
Gödel added three definitions along the way:
1- A “God-like” being has all positive properties.
2- An “essence” of a being is a property that the being possesses, and that property necessarily implies any property of that being.
3- The “necessary existence” of a being means that it is necessary that all the essences of that being exist (“are exemplified”).